multi-parameter type class
複数の型引数を持つ
型クラス
MultiParamTypeClasses
GHC拡張
https://book.purescript.org/chapter6.html#multi-parameter-type-classes
purs
multi-parameter type class関連のGHC拡張と使い分け
論文
Type classes: exploring the design space
https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/multi.pdf
MPTCのmulti-parameter type classes (MPTC) の概要とその適用例の紹介
http://maoe.hatenadiary.jp/entry/20091021/1256101883
Type Classes with Functional Dependencies